Маги́ческий, или волше́бный квадра́т — квадратная таблица ${\displaystyle n\times n}$, заполненная ${\displaystyle n^{2}}$ различными числами таким образом, что сумма чисел в каждой строке, каждом столбце и на обеих диагоналях одинакова. Если в квадрате равны суммы чисел только в строках и столбцах, то он называется полумагическим. Нормальным называется магический квадрат, заполненный натуральными числами от ${\displaystyle 1}$ до ${\displaystyle n^{2}}$. Магический квадрат называется ассоциативным или симметричным, если сумма любых двух чисел, расположенных симметрично относительно центра квадрата, равна ${\displaystyle n^{2}+1}$.

Нормальные магические квадраты существуют для всех порядков ${\displaystyle n\geq 1}$, за исключением ${\displaystyle n=2}$, хотя случай ${\displaystyle n=1}$ тривиален — квадрат состоит из одного числа. Минимальный нетривиальный случай показан ниже, он имеет порядок 3.

Сумма чисел в каждой строке, столбце и на диагоналях называется магической константой, M. Магическая константа нормального волшебного квадрата зависит только от n и определяется формулой

${\displaystyle M(n)={\frac {n(n^{2}+1)}{2}}}$

Первые значения магических констант приведены в следующей таблице (последовательность A006003 в OEIS):

${\displaystyle 4+5+6=15}$

${\displaystyle 7+8+9+10=34}$

${\displaystyle 11+12+13+14+15=65}$

${\displaystyle 16+17+18+19+20+21=111}$

${\displaystyle 22+23+24+25+26+27+28=175}$